"Mathematics is the basic vocabulary for formal methods"